1. Computing in Horn Clause theories
پدیدآورنده : Padawitz, Peter, 3591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic programming,، Horn clauses
رده :
QA
76
.
6
.
P327
1988
2. Computing in Horn clause theories
پدیدآورنده : Padawitz, Peter
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic programming,، Horn clauses
رده :
QA
76
.
6
.
P32
1988
3. Graph-Based Proof Procedures for Horn Clauses
پدیدآورنده : \ Stan Raatz
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic programming,Horn clauses,برنامهنویسی منطقی
رده :
E-Book
,
